import junit.framework.TestCase;
import sketch.ounit.Values;
import treemap.TreeMap;

public class TreeMapTest extends TestCase {
    @TestSketch
	public void testRemove() {
		TreeMap map = new TreeMap();
		//Integer v = Values.choose(1,2,3,4);
		Integer[] is = Values.exhaust(1, 2, 3, 4);
		for(int i : is) {
			map.put(i);
		}
		map.remove(Values.symbolicInt());
	}
}